Hybrid type theory: a quartet in four movements

This paper sings a song -a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities (these can be found in Areces, Blackburn, Huertas, and Manzano [to appear]) rather it focusses on the underlying instruments, and the way they work together. We hope the reader will be tempted to sing along

Programa de captación de estudiantes de Bachillerato del distrito universitario de Salamanca (3ª Edición). Facultad de Filosofía – Universidad de Salamanca

Memoria ID-0267. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2014-2015

Avances en Informática y Automática. Octavo Workshop

[ES]El Máster Oficial en Sistemas Inteligentes de la Universidad de Salamanca tiene como principal objetivo promover la iniciación de los estudiantes en el ámbito de la investigación. El congreso organizado por el Departamento de Informática y Automática que se celebra dentro del Máster en Sistemas Inteligentes de la Universidad de Salamanca proporciona la oportunidad ideal para que sus estudiantes presenten los principales resultados de sus Trabajos de Fin de Máster y obtengan una realimentación del interés de los mismos. La octava edición del workshop “Avances en Informática y Automática”, correspondiente al curso 2013 - 2014, ha sido un encuentro interdisciplinar donde se han presentado trabajos pertenecientes a un amplio abanico de líneas de investigación, desde los sistemas multiagente, la visualización de la información o la minería de datos hasta la lógica, el reconocimiento de patrones o las redes neuronales. Todos los trabajos han sido supervisados por investigadores de reconocido prestigio pertenecientes a la Universidad de Salamanca, proporcionando el marco idóneo para sentar las bases de una futura tesis doctoral. Entre los principales objetivos del congreso se encuentran: ofrecer a los estudiantes un marco donde exponer sus primeros trabajos de investigación. Proporcionar a los participantes un foro donde discutir ideas y encontrar nuevas sugerencias de compañeros, investigadores y otros asistentes a la reunión. Permitir a cada estudiante una realimentación de los participantes sobre su trabajo y una orientación sobre las futuras direcciones de investigación. Contribuir al desarrollo del espíritu de colaboración en la investigación

A semantics for equational hybrid propositional type theory

The definition of identity in terms of other logical symbols is a recurrent issue in logic. In particular, in First-Order Logic (FOL) there is no way of defining the global relation of identity, while in standard Second-Order Logic (SOL) this definition is not only possible, but widely used. In this paper, the reverse question is posed and affirmatively answered: Can we define with only equality and abstraction the remaining logical symbols? Our present work is developed in the context of an equational hybrid logic (i.e. a modal logic with equations as propositional atoms enlarged with the hybrid expressions: nominals and the @ operator). Our logical base is propositional type theory. We take the propositional equality, abstraction, nominals, and @ operators as primitive symbols and we demonstrate that all of the remaining logical symbols can be defined, including propositional quantifiers and equational equality

Desarrollo de la página web del máster en Lógica y Filosofía del Ciencia de cara a su difusión en el ámbito internacional

Memoria ID11-112. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2011-2012.La realización de este proyecto ha conseguido, como era su objetivo, una notable mejora de la página ya existente del máster y doctorado de Lógica y Filosofía de la Ciencia, concretamente en el espacio dedicado a los alumnos. La mejora ha consistido básicamente en una apertura de la página hacia el exterior y hacia sus mismos integrantes, estudiantes y profesores. La incorporación de avisos y comentarios acerca de actividades relevantes en las materias del posgrado, como congresos y reuniones científicas, publicaciones, o noticias de prensa han supuesto una oportuna apertura de la página hacia su entorno más cercano, mientras que, por otra parte, la entrada en ella de las opiniones de los alumnos sobre el posgrado, las conexiones a sus blogs o las entrevistas con profesores permiten un mejor conocimiento de los miembros del máster y el doctorado y de los aciertos y deficiencias en el desarrollo de éste

Diseño y elaboración de un portal virtual interactivo para alumnos del máster interuniversitario en Lógica y Filosofía de la ciencia

Memoria ID11-113. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2011-2012